generalized modus ponens

广义假言推理

热门查询

clan　　n. 宗族；部落；集团 n. (Clan)人名；(英)克兰
Montenegrin　　a. 黑山的 n. 黑山人
collaborative　　adj. 合作的，协作的
syphilitic　　n. 梅毒病人 adj. 梅毒的；感染梅毒的
dinoflagellate　　n. 腰鞭毛虫腰鞭毛虫的
ducal　　n. (Ducal)人名；(法)迪卡尔 adj. 公爵的；公爵领地的；象公爵的
circulating　　v. 循环（circulate的ing形式）；流通 adj. 循环的；流通的
Sodom　　n. 所多玛(罪恶之地)
Maxim　　n. 格言；准则；座右铭 n. (Maxim)人名；(英、罗、俄、哈萨)马克西姆
Gabler　　[人名] [英格兰人姓氏] 盖布勒职业名称，收税者或高利贷者，来源于古法语，含义是“税，收入”(tax,revenue)+er; [人名] [英格兰人姓氏] 盖布勒 Gable的变体
Guyana　　n. 圭亚那（拉丁美洲国家）
ouzo　　n. （希腊）茴香烈酒；饭后酒
vga　　abbr. [计]视频图形阵列（Video Graphics Array）；可变增益放大器（Variable-Gain Amplifier）
aside　　prep. 在…旁边 n. 旁白；私语，悄悄话；离题的话 adv. 离开，撇开；在旁边
prevalent　　adj. 流行的；普遍的，广传的
grama　　n. 格兰马草（美国西部产的一种牧草） n. (Grama)人名；(法、罗)格拉马
milepost　　n. 里程碑；里程标志
Hailsham　　n. (Hailsham)人名；(英)黑尔什姆
faithless　　adj. 不忠实的；无信的；无宗教信仰的
fathom　　n. 英寻（测量水深的长度单位） vt. 看穿；彻底了解；测量…的深度